- stepwise refinement approach
- метод постепенного совершенствования (при разработке аппаратуры)
Англо-русский словарь по компьютерной безопасности. Академик.ру. 2011.
stepwise refinement approach
Смотреть что такое "stepwise refinement approach" в других словарях:
Refinement calculus — is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non executable program , which is then refined by a series of correctness… … Wikipedia
Top-down and bottom-up design — Top down and bottom up are strategies of information processing and knowledge ordering, mostly involving software, but also other humanistic and scientific theories (see systemics). In practice, they can be seen as a style of thinking and… … Wikipedia
Architecture Logicielle — L’architecture logicielle décrit d’une manière symbolique et schématique les différents composants d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse… … Wikipédia en Français
Architecture logicielle — L’architecture logicielle décrit d’une manière symbolique et schématique les différents éléments d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse… … Wikipédia en Français
Architectures logicielles — Architecture logicielle L’architecture logicielle décrit d’une manière symbolique et schématique les différents composants d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications… … Wikipédia en Français
Vienna Development Method — The Vienna Development Method (VDM) is one of the longest established Formal Methods for the development of computer based systems. Originating in work done at IBM s Vienna Laboratory [Some idea of that work, including a technical report TR… … Wikipedia
Ralph-Johan Back — is a Finnish computer scientist.Back originated the Refinement Calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, On the Correctness of Refinement … Wikipedia
Compiler — This article is about the computing term. For the anime, see Compiler (anime). A diagram of the operation of a typical multi language, multi target compiler A compiler is a computer program (or set of programs) that transforms source code written … Wikipedia
Chaos strategy — The chaos strategy is an approach to software development that extends other strategies (such as stepwise refinement), and it works with the chaos model.The main rule is always resolve the most important issue first .* An issue is an incomplete… … Wikipedia
PL/0 — At least two programming languages are known as PL/0. One is a subset of IBM s general purpose programming language PL/I. The other PL/0, covered here, is similar to but much simpler than the general purpose programming language Pascal, intended… … Wikipedia
Outline of software engineering — See also: Index of software engineering articles The following outline is provided as an overview of and topical guide to software engineering: Software engineering – application of a systematic, disciplined, quantifiable approach to the… … Wikipedia
